Test-Case Design by Feature Trees
نویسندگان
چکیده
This paper proposes a test-case design method for black-box testing, called “Feature Oriented Testing (FOT)”. The method is realized by applying Feature Models (FMs) developed in software product line engineering to test-case designs. We develop a graphical language for test-case design called “Feature Trees for Testing (FTT)” based on FMs. To firmly underpin the method, we provide a formal semantics of FTT, by means of test-cases derived from test-case designs modelled with FTT. Based on the semantics we develop an automated test-suite generation and correctness checking of test-case designs using SAT, as computer-aided analysis techniques of the method. Feasibility of the method is demonstrated from several viewpoints including its implementation, complexity analysis, experiments, a case study, and an assistant tool.
منابع مشابه
A Test-case Design Method based on Feature Trees
This paper proposes a test-case design method for black-box testing. First, a language for test-case design based on “feature tree” is provided. Next, a formal semantics of the language is defined as for reliability of generated test-cases. Last, we propose and implement a SAT based algorithm for automated test-case generation, whose correctness is proved w.r.t. the above-mentioned semantics. O...
متن کاملSelecting Feature Grouping and Decision Tree to Improve Results from the Learning Object Management Model (LOMM)
Recommendation systems, also known as intelligent decision support systems, have been used to support and strengthen the decision making in various areas including education. In order to establish efficient recommendation systems for educational purposes, several specific problems have to be addressed. One such problem is the weak relationship between input features, which causes performance of...
متن کاملIntegrated Modeling of Software Product Lines with Feature Models and Classification Trees
Software Product Lines (SPLs) are an approach to improve reusability of software in a large number of products that share a common set of features. In SPLs, Feature Models (FMs) are frequently used to model commonalities and variabilities. However, according to the best of our knowledge, there are no approaches to automatically generate test cases on the basis of a stand-alone FM. We introduce ...
متن کاملThe Relationship between European yellow mistletoe (Loranthus europaeus Jacq.) and habitat factors and structure in Zagros forests (Case study: Ghalajeh forests, Kermanshah province)
The semi-parasitic European yellow mistletoe (Loranthus europaeus Jacq.) is one of the harmful and damaging factors to the Zagros forests. This study to analyze the causes of infected trees by European yellow mistletoe was conducted in the Ghalajeh forests in Kermanshah province. To carry out this study, completely infected trees were examined by using the tree-to-tree sampling method. Required...
متن کاملThe effect of ecophysiography on the quantitative characteristics of DBH, height, basal area, crown diameter and canopy area of trees in mountain forest communities (Case study: Oak-hornbeam community in Arasbaran forest)
Ecophysiography is the geography of the earth and the relationship between physiography and the ecosystem. Ecophysiography is a basis for planning processes to study the characteristics of terrestrial systems concerning the interactions between terrestrial physiography and living organisms. Due to the current state of ecosystems and the increase in natural disasters for ecosystem sustainability...
متن کامل